irreducible mapping

不可约映射